Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
641	General Terms, Classifiers vs Designators Genoveva Martí (Logos Research Group, ICREA & U. Barcelona) Pepe Martínez (Logos Research Group, U. Barcelona) 1.- Designators General terms are often taken to designate abstra Add to Reading List Source URL: www.bristol.ac.uk Language: English - Date: 2007-10-03 10:43:21 Knowledge Rigid designator Logic Philosophy Ontology Parts of speech Rigidity Problem of universals Structural rigidity Modal logic Philosophy of language Reference
642	Forthcoming in C. Miller, R. M. Furr, A. Knobel, and W. Fleeson (eds.), Character: New Directions from Philosophy, Psychology, and Theology, New York: Oxford University Press. PEOPLE LISTEN TO PEOPLE WHO LISTEN: INSTILLL Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Normative ethics Branches of philosophy Analytic philosophy Virtue ethics Epistemic virtue Consequentialism Epistemology De Modal logic Ethics Philosophy Virtue
643	Published in A. O’Hear, ed., Logic, Thought and Language, Cambridge: Cambridge University Press, 2002, pp[removed]NECESSARY EXISTENTS Timothy Williamson It seems obvious that I could have failed to exist. My parents Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:49 Modal logic Philosophical logic Possibility Ontology Possible world Proposition Truth Contingency Existence Logic Philosophy Mathematical logic
644	Exogenous Semantics Approach to Enriching Logics Paulo Mateus, Amílcar Sernadas, and Cristina Sernadas Abstract. The exogenous semantics approach to enriching a logic consists in defining each model in the enrichment as Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2009-09-27 08:27:05 Non-classical logic Philosophical logic Modal logic Kripke semantics Quantum logic Probabilistic logic Propositional variable Well-formed formula Valuation Logic Mathematical logic Propositional calculus
645	Dummett on the Relation between Logics and Metalogics (penultimate draft of paper to appear in M. Frauchiger and W.K. Essler, eds., volume on Michael Dummett in the Lauener Library of Analytical Philosophy, De Gruyter) Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2014-10-24 06:40:03 Model theory Philosophy of mathematics Non-classical logic Metalogic Entailment Kripke semantics Modal logic Philosophy of language Propositional calculus Logic Mathematical logic Philosophical logic
646	Reasoning about programs by exploiting the environment Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-12 23:54:30 Model theory Philosophical logic Concurrency Temporal logic Temporal logic of actions First-order logic Modal logic FO If and only if Logic Mathematical logic Mathematics
647	Equational Propositional Logic David Gries 1 and Fred B. Schneider 2 Computer Science, Cornell University September[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:13:08 Propositional calculus Rules of inference Boolean algebra Philosophical logic Equational logic First-order logic Mathematical proof Modal logic Modus ponens Logic Mathematics Mathematical logic
648	Formalizations Of Substitution Of Equals For Equals David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 27, 1998 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:45:56 Propositional calculus Predicate logic Model theory Quantification First-order logic Function Generalization Universal quantification Modal logic Logic Mathematical logic Mathematics
649	The "Hoare Logic" of CSP, and All That LESLIE LAMPORT SRI International and FRED B. SCHNEIDER Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:44:16 Program logic Concurrent computing Hoare logic Logic programming Communicating sequential processes Modal logic KeY Guarded Command Language Well-formed formula Logic Theoretical computer science Mathematics
650	Panel Moderators: Gries and Fred Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 13:49:16 Philosophical logic Non-classical logic Propositional calculus Boolean algebra Mathematical proof Natural deduction Modal logic Theorem Discrete mathematics Logic Mathematics Mathematical logic

UPDATE